Mutation-Driven Generation of Unit Tests and Oracles
نویسندگان
چکیده
منابع مشابه
Mutation-driven Generation of Oracles and Unit Tests
To assess the quality of test suites, mutation analysis seeds artificial defects (mutations) into programs; a nondetected mutation indicates a weakness in the test suite. We present an automated approach to generate unit tests that detect these mutations for object-oriented classes. This has two advantages: First, the resulting test suite is optimized towards finding defects rather than coverin...
متن کاملAutomatic Generation of Unit Regression Tests
Software developers spend a significant amount of time modifying existing code. Regression testing (comparing previous behavior with current behavior) can be a powerful technique to check that modifications do not introduce unintended changes. This paper introduces a technique to automatically create class-specific regression tests from a program run. The technique is implemented for the Java l...
متن کاملAutomatic Generation of Test Oracles
We describe a progression fiom pilot studies to development and use of domain-spec fzc verification and validation (V& v ) automation. Our domain is the testing of an AIplanning system that forms a key component of an autonomous spacecraft. We used pilot studies to ascertain opportunities for, and suitability OJ; automating various analyses whose results would contribute to V& V in our domain. ...
متن کاملhazard evaluation of gas condensate stabilization and dehydration unit of parsian gas refinery using hazop procedures
شناسایی مخاطرات در واحد 400 پالایشگاه گاز پارسیان. در این پروزه با بکارگیری از تکنیک hazop به شناسا یی مخاطرات ، انحرافات ممکن و در صورت لزوم ارایه راهکارهای مناسب جهت افزایش ایمنی فرا یند پرداخته میگردد. شرایط عملیاتی مخاطره آمیز نظیر فشار و دمای بالا و وجود ترکیبات مختلف سمی و قابل انفجار در واحدهای پالایش گاز، ضرورت توجه به موارد ایمنی در این چنین واحدهایی را مشخص می سازد. مطالعه hazop یک ر...
Automatic generation of object oriented unit tests using genetic programming
Automating the generation of object-oriented unit tests for structural testing techniques has been challenging many researchers due to the benefits it promises in terms of cost saving and test quality improvement. It requires test sequences to be generated, each of which models a particular scenario in which the class under test is examined. The generation process aims at obtaining a preferably...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 2012
ISSN: 0098-5589
DOI: 10.1109/tse.2011.93